
OPTEE_ARCH				?= arm
OPTEE_PLAT				?= vexpress-qemu_armv8a
# for optee_examples
OPTEE_ARCH2				?= arm64

# optee_os
OTOS_TARGETS			?= all
OTOS_DEBUG				?= 1

OTOS_CFG_OPTS			+= CFG_ARM64_core=y SPD=opteed
OTOS_CFG_OPTS			+= CFG_ARM_GICV$(QEMU_GIC_VER)=y

